операционная семантика

См. также в других словарях:

• операционная семантика — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN operational semantics …   Справочник технического переводчика

• Семантика вычислений — Семантика вычислений  это определение процесса вычисления в виде последовательности правил перезаписи, которое вместе с представлением о сходимости впервые были использованы в контексте исчисления. Сходимость важна также в системах… …   Википедия

• Семантика (программирование) — Для термина «Семантика» см. другие значения. Семантика в программировании  дисциплина, изучающая формализации значений конструкций языков программирования посредством построения их формальных математических моделей. В качестве инструментов… …   Википедия

• Операционная среда — совокупность компьютерных программ, обеспечивающая оператору возможность управлять вычислительными процессами и файлами. Стандартом на операционные системы (ОС) определены синтаксис и семантика языка оболочки и утилит, составляющих операционную… …   Википедия

• Семантика функции — Интерфейс прикладного программирования (англ. Application Programming Interface, API [эй пи ай]; по русски чаще произносят [апи]) набор готовых констант, структур и функций, используемых при программировании пользовательских приложений и… …   Википедия

• Модель акторов — В компьютерных науках модель акторов представляет собой математическую модель параллельных вычислений, которая трактует понятие «актор» как универсальный примитив параллельного численного расчёта: в ответ на сообщения, которые он получает, актор… …   Википедия

• Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… …   Википедия

• ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… …   Математическая энциклопедия

• ДЕДУКТИВНАЯ ЛОГИКА —     ДЕДУКТИВНАЯ ЛОГИКА раздел логики, в котором изучаются способы рассуждения, гарантирующие истинность заключения при истинности посылок. Дедуктивная логика иногда отождествляется с формальной логикой. Вне пределов дедуктивной логики находятся т …   Философская энциклопедия

• TTCN-3 — Содержание 1 Приложения 2 Архитектура 3 Терминология …   Википедия

• ISWIM — Класс языка: строгая, функциональная Появился в: 1966 Типизация данных: динамическая Повлиял на: SASL, ML ISWIM  абстрактный язык программирования (или семейство языков программ …   Википедия